Überladene Funktionssymbole und Subtypen in funktionalen Programmiersprachen

Projektleitung und Mitarbeiter

Klaeren, H. (Prof. Dr. rer. nat.), Plümicke, M. (Dipl. Math.)

Mittelgeber :

Forschungsbericht : 1994-1996

Tel./ Fax.:

Projektbeschreibung

Ausgehend von funktionalen Sprachen wie SML und Haskell, beschäftigen wir uns damit, Subtypen und die Möglichkeit der Überladung von Funktionssymbolen in funktionale Sprachen einzubauen. Dabei beschreiben wir die Semantik solcher funktionaler Sprachen formal mit der Methode der denotationellen Semantik. Ein weiterer Schwerpunkt der Arbeit ist die Implementierung von Compilern für solche Sprachen. Besonderer Augenmerk wird darauf gelegt, die Sprache so zu definieren, daß einerseits der Benutzer möglichst realitätsnah programmieren kann, aber andererseits die Semantik der Sprache trotzdem eindeutig formal beschreibbar ist und ein Compiler effizienten Code erzeugen kann.

Publikationen

Plümicke, M., Klaeren, H.: Subtyping and overloading in a funktional programming language. Technical Report, Universität Tübingen 1994.

INDEX HOME SUCHEN KONTAKT LINKS

qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96
Copyright Hinweise